Revision: tla-tools--devo--0--patch-81
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Fri Sep 17 19:49:12 JST 2004
Standard-date: 2004-09-17 10:49:12 GMT
Modified-files: ChangeLog tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-81
Summary: tla-cvs-sync: Avoid duplicates when committing to CVS

This can happen when a tag is changed (so the same file is deleted and
then added), and other rare circumstances.  Committing the same file
twice on the cvs command line doesn't actually screw anything up, but
results in confusing double log entries (the second entry having no
changes), and can confuse commit scripts.
